((v1 v2 0) (v1 v3 3) (v1 v4 7) (v1 v5 6) (v1 v6 1) (v1 v7 5) (v1 v8 8) (v1 v9 0))
83
((v1 v6) (v1 v7) (v2 v4))